English technique for demonstrating theorems: tłumaczenie na inne języki